From f38fa030ec9d4af4e63bac01f362365fb415b1c6 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 20 Sep 2018 17:23:54 +0100 Subject: [PATCH] wip --- debian/rules | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/debian/rules b/debian/rules index 832678983c..a57ab256c0 100755 --- a/debian/rules +++ b/debian/rules @@ -30,9 +30,9 @@ dpkg_LDFLAGS := $(shell dpkg-buildflags --get CPPFLAGS) dh $@ override_dh_auto_clean: - make -j1 distclean + $(MAKE) -j1 distclean -override_auto_configure: +override_dh_auto_configure: ./configure \ --disable-stubdom \ --prefix=/usr \ @@ -64,9 +64,6 @@ make_args_tools= $(make_args_common) \ OCAMLDESTDIR=$(CURDIR)/$(BUILD_DIR)/install-utils_$(ARCH)/$(OCAML_STDLIB_DIR) \ PYTHON=$(shell pyversions -r) -override_dh_auto_clean: - $(MAKE) distclean - override_dh_auto_build: $(MAKE) $(make_args_xen) xen $(MAKE) $(make_args_tools) tools docs -- 2.30.2